The Finitistic Consistency of Heck’s Predicative Fregean System
نویسندگان
چکیده
منابع مشابه
The Finitistic Consistency of Heck's Predicative Fregean System
Frege’s theory is inconsistent (Russell’s paradox). However, the predicative version of Frege’s system is consistent. This was proved by Richard Heck in 1996 using a model theoretic argument. In this paper, we give a finitistic proof of this consistency result. As a consequence, Heck’s predicative theory is rather weak (as was suspected). We also prove the finitistic consistency of the extensio...
متن کاملConsistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC)
In order to avoid well-know paradoxes associated with self-referential definitions, higher-order dependent type theories stratify the theory using a countably infinite hierarchy of universes (also known as sorts), Type0 : Type1 : · · · . Such type systems are called cumulative if for any type A we have that A : Typei implies A : Typei+1. The predicative calculus of inductive constructions (pCIC...
متن کاملThe Consistency of Predicative Fragments of Frege’s Grundgesetze Der Arithmetik
Reading ‘x̂(Fx)’ as ‘the value-range of the concept F ’, Basic Law V thus states that, for every F and G, the value-range of the concept F is the same as the value-range of the concept G just in case the F s are exactly the Gs. In Frege: Philosophy of Mathematics, Michael Dummett (1991, pp. 217–22) raises the question how the serpent entered Eden, that is, how we should understand the genesis of...
متن کاملa study on construction of iranian life tables: the case study of modified brass logit system
چکیده ندارد.
15 صفحه اولA Strictly Finitistic System for Applied Mathematics
This paper reports the technical work in the monograph Strict Finitism and the Logic of Mathematical Applications (available online). The monograph proposes a strictly nitistic system and then showes that some signi cant applied mathematics, including the basics of unbounded linear operators on Hilbert space, can be developed within that system. Potential philosophical implications or applicat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2015
ISSN: 0029-4527
DOI: 10.1215/00294527-2835110